How to configure a DNS server IP in Linux